შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

წელი:
2021
ენა:
english
ფაილი:
PDF, 10.80 MB
5.0 / 5.0
english, 2021
2
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

წელი:
2021
ენა:
english
ფაილი:
EPUB, 93.67 MB
0 / 0
english, 2021
3
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

წელი:
2023
ენა:
english
ფაილი:
PDF, 4.14 MB
0 / 5.0
english, 2023
4
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

წელი:
2021
ენა:
english
ფაილი:
PDF, 10.80 MB
0 / 0
english, 2021
5
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

წელი:
2023
ენა:
english
ფაილი:
EPUB, 86.96 MB
0 / 0
english, 2023
7
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

წელი:
2021
ენა:
english
ფაილი:
EPUB, 93.67 MB
0 / 0
english, 2021